🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Relative Completeness of Incorrectness Separation Logic
arxiv.org·1d
🧠Separation Logic
How To Solve Every Programming Problem
blog.codeminer42.com·3h
📐Interval Arithmetic
Transaction Healing: Scaling Optimistic Concurrency Control on Multicores
muratbuffalo.blogspot.com·10h·
Discuss: www.blogger.com
⚡Hardware Transactional Memory
Three challenges in machine-based reasoning
amazon.science·17h·
Discuss: Hacker News
🧮Theorem Proving
Understanding Goroutines, Concurrency, and Scheduling in Go
dev.to·3h·
Discuss: DEV
⚡Hardware Transactional Memory
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·6h
🧪Property-Based Testing
An easy-to-implement, arena-friendly hash map
nullprogram.com·1h·
Discuss: Lobsters
🔐Hash Functions
A New Concurrent ML in Guile Scheme
wingolog.org·1d·
Discuss: Hacker News
🔄Lens Laws
Learning About Threads: An Essential Guide for Developers
hackernoon.com·1d
🔩Systems Programming
Testing PowerSync with Jepsen for Causal Consistency and More
github.com·2h·
Discuss: Hacker News
🗄️PostgreSQL WAL
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·18h
✨Effect Handlers
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·16h·
Discuss: Hacker News
🌳Persistent Data Structures
SIEVE — a better algorithm than LRU?
blog.apnic.net·1d
💨Cache Analysis
Confronting AI’s Next Big Challenge: Inference Compute
thenewstack.io·9h
💾Persistence Strategies
Machine Learning Fundamentals: model overfitting
dev.to·5h·
Discuss: DEV
🧠Machine Learning
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
Continuous vs. dynamic batching for AI inference
baseten.co·10h·
Discuss: Hacker News
⚙️Batch Processing
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·18h
📏Linear Logic
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·7h·
Discuss: Hacker News
⚡Proof Automation